projn(n;x) == if n=1 1of(x) else projn(n-1;2of(x)) fi  (recursive) 

latex

Definitions	Y, x.A(x), if b t else f fi, i=j, 1of(t), f(a), n-m, #$n, 2of(t)
FDL editor aliases	projn